Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
181	TENDER DOCUMENT CHECKLIST (for Specifications) GENERAL Add to Reading List Source URL: www.tpsgc-pwgsc.gc.ca Language: English* - Date: 2014-01-24 09:56:03 Product development Quality Specification Formal specification Technical standard Management Standards Technical communication Technology
182	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages
183	Formal Analysis of the ACE Specification for Cache Coherent Systems-On-Chip Abderahman KRIOUILE PhD student, STMicroelectronics – Inria Rhône-Alpes – LIG Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-02 08:13:33 Computer memory Parallel computing Cache coherence Concurrent computing CPU cache Cache Computing Cache coherency Computer hardware
184	NPS-CS[removed]NAVAL POSTGRADUATE SCHOOL MONTEREY, CALIFORNIA Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2012-03-13 12:40:54 Applied mathematics Science Quality Systems engineering Automata theory Runtime verification Assertion Specification Model checking Formal methods Theoretical computer science Logic in computer science
185	UML-based Specification, Validation, and Log-file based Verification of the Orion Pad Abort 1 Software Add to Reading List Source URL: edocs.nps.edu Language: English - Date: 2010-06-14 15:13:00 Knowledge Validation Verification Formal verification Runtime verification Specification Formal specification Software development process Modeling language Formal methods Science Technology
186	Microsoft Word - Summary of Changes.doc Add to Reading List Source URL: www.transportation.alberta.ca Language: English - Date: 2011-06-08 18:37:57 Specification Technical communication Formal specification Technology Management Business Standards Product development Quality
187	Summary of Specification Changes Add to Reading List Source URL: www.transportation.alberta.ca Language: English - Date: 2008-06-13 00:11:02 Product development Quality Specification Reinforced concrete Technical standard Formal specification Construction Technical communication Standards Technology
188	NMLS B2B Access Data Specification Data Type Guide Data Type Description Add to Reading List Source URL: mortgage.nationwidelicensingsystem.org Language: English - Date: 2014-08-25 11:26:20 String Meter Point Administration Number Column Null Data management Linguistics Computing Formal languages Data modeling Character encoding
189	Formal Specification of Security-relevant Properties of User Interfaces1 Bernhard Beckert Gerd Beuster Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2014-04-20 12:45:14 Humanâ€“computer interaction User interfaces Computer keyboards User interface Virtual reality Text-based Operating system X Window System Keyboard layout Software User interface techniques Computing
190	INTERNATIONAL TELECOMMUNICATION UNION ITU-T TELECOMMUNICATION STANDARDIZATION SECTOR OF ITU Add to Reading List Source URL: www.itu.int Language: English - Date: 2001-09-25 08:37:28 Computing Software engineering ITU-T Finite-state machine Message Sequence Chart Abstract Syntax Notation One G.992.3 CHILL International Telecommunication Union Diagrams Specification and Description Language Formal methods

UPDATE